1. ACM SIGPLAN Erlang Workshop'02 : A satellite event of PLI 2002 : October 7, 2002, Pittsburgh, Pennsylvania, USA
پدیدآورنده :
کتابخانه: (طهران)
موضوع : ، ERLANG )Computer program language(,Congresses ، Programming languages )Electronic computers(,Congresses ، Computer software
رده :
QA
76
.
73
.
E75A26
2002
2. ASIAN 2003 :--Advances in computing science
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Congresses ; Programming languages (Electronic computers) ; Congresses ; Electronic data processing ; Congresses ; Saraswat, Vijay ;
3. ASPLOS-III proceedings
پدیدآورنده : Third International Conference on Architectural Support for Programming Languages and Operating Systems, Boston, Massachusetts, April 3-6, 9891
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Computer architecture -- Congresses,، Programming languages )Electronic computers( -- Congresses,، Operating systems )Computers( -- Congresses
رده :
QA
76
.
9
.
A73
I565
1989
4. ASPLOS-IV proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Computer architecture,Congresses ، Programming languages )Electronic computers(,Congresses ، Operating systems )Computers(
رده :
QA
76
.
9
.
A73
.
I565
1991
5. Advances in computer-aided manufacture : proceedings of the 3rd International IFIP/IFAC Conference on Programming Languages for Machine Tools, PROLAMAT 76, Stirling, Scotland, 15-18 June, 1976
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Machine-tools-- Numerical control-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
TJ
1189
.
I56
1976
6. Advances in computer science--ASIAN 2004 : higher-level decision making : 9 th Asian Computing Science Conference, dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 8-10, 2004 : proceedings
پدیدآورنده : Michael J. Maher )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer science,Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
3321
7. Advances in computing science--ASIAN 2003 : programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003 : proceedings
پدیدآورنده : Vijay A. Saraswat, )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer science,Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
2896
8. Algebraic Informatics
پدیدآورنده : \ Andreas Maletti (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Algebra -- Data processing -- Congresses.,مهندسی نرم افزار ,زبانهای برنامهنویسی کامپیوتر -- معنی شناسی -- کنگره ها ,جبر -- دادهپردازی -- کنگره ها
رده :
QA
76
.
76
.
A55
2015
E-Book
,
9. Algebraic informatics :
پدیدآورنده : Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
7
10. Algebraic informatics :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Programming languages (Electronic computers) ; Semantics ; Congresses. ;
11. Algorithmic languages and calculi: IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 Feb. 1997, Alsace, France
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer programming-- Congresses,، Programming languages )Electronic computers(-- Congresses,، Computer algorithms-- Congresses
رده :
QA
76
.
6
.
I1775
1997
12. Analysis and verification of multiple-agent languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers
پدیدآورنده : Mads Dam )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1192
13. Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September, 9-15, 2000 : advanced lectures
پدیدآورنده : Gilles Barthe...]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
2395
14. Attribute grammars and their applications : International Conference WAGA, Paris, France, September 19-21, 1990 : Proceedings
پدیدآورنده : P. Deransart, M. Jourdan )eds.(
کتابخانه: (طهران)
موضوع : Syntax -- Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
461
15. Attribute grammars and their applications : international conference WAGA, Paris, France, September 19-21, 1990 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Programming languages )Electronic computers(-- Syntax-- Congresses
رده :
QA
76
.
7
.
A78
1990
16. Attribute grammars, applications and systems : international summer school SAGA, Prague, Czechoslovakia, June 4-13, 1991 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Programming languages )Electronic computers(-- Syntax-- Congresses
رده :
QA
76
.
7
.
A783
1991
17. Attribute grammars. applications and systems : international summer school SAGA, Prague, Czechoslovakia, June 4-13, 1991 : proceedings
پدیدآورنده : H. Alblas, B. Melichar, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics,Syntax -- Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
545
18. Automata, Languages and programming : 11th collequium antwerp, Belgium, July 16-20, 1984
پدیدآورنده : / Edited by Jan Paredaens
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Machinetheory - Congresses,Programming languages (Electronic computers) - Congresses,Programming (Electronic computers) - Congresses
رده :
QA267
.
A9215
19. Automata, Languages and programming, 16th international colloquium, Stressa, Italy, July 1989 proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
267
.
A9228
1989
20. Automata, Languages, and programming: 19th international colloquium, Wien, Austria, July 13-17, 1992: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Machine thoery-- Congresses,، Formal languages-- Congresses,، Programming )Electronic computers(-- Congresses
رده :
QA
267
.
A87
1992